<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 1986-2008, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="description" CONTENT="Facilities for adapting the exception handling mechanism. This class may be used as ancestor by classes needing its facilities.">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>exceptions Flat contracts</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="exceptions_chart.html">Chart</A></TD><TD><A HREF="exceptions_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE><B>indexing</B>
    description: "[
        Facilities for adapting the exception handling mechanism.
        This class may be used as ancestor by classes needing its facilities.
    ]"
    library: "Free implementation of ELKS library"
    copyright: "Copyright (c) 1986-2008, Eiffel Software and others"
    license: "Eiffel Forum License v2 (see forum.txt)"
    date: "$Date: 2008-05-24 02:24:07 +0200 (Sat, 24 May 2008) $"
    revision: "$Revision: 170 $"

<B>class</B> <B>interface</B>
    <A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>


<B>create</B> 
    <A NAME="f_default_create"><A HREF="../base/any_flatshort.html#f_default_create">default_create</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process instances of classes with no creation clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access</FONT>

    <A NAME="f_check_instruction"><A HREF="../base/excep_const_flatshort.html#f_check_instruction">check_instruction</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 7</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for violated check</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_class_invariant"><A HREF="../base/excep_const_flatshort.html#f_class_invariant">class_invariant</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 6</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for violated class invariant</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_com_exception"><A HREF="../base/excep_const_flatshort.html#f_com_exception">com_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 28</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for a COM error.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_create_on_deferred"><A HREF="../base/excep_const_flatshort.html#f_create_on_deferred">create_on_deferred</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 17</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Create on deferred</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_developer_exception"><A HREF="../base/excep_const_flatshort.html#f_developer_exception">developer_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 24</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for developer exception</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_dollar_applied_to_melted_feature"><A HREF="../base/excep_const_flatshort.html#f_dollar_applied_to_melted_feature">dollar_applied_to_melted_feature</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 26</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> $ applied to melted feature</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_eiffel_runtime_fatal_error"><A HREF="../base/excep_const_flatshort.html#f_eiffel_runtime_fatal_error">eiffel_runtime_fatal_error</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 25</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Eiffel run-time fatal error</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_eiffel_runtime_panic"><A HREF="../base/excep_const_flatshort.html#f_eiffel_runtime_panic">eiffel_runtime_panic</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 13</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Eiffel run-time panic</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_exception_in_signal_handler"><A HREF="../base/excep_const_flatshort.html#f_exception_in_signal_handler">exception_in_signal_handler</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 20</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception in signal handler</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_exception_manager"><A HREF="../base/exception_manager_factory_flatshort.html#f_exception_manager">exception_manager</A>: <A HREF="../base/exception_manager_flatshort.html">EXCEPTION_MANAGER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception manager</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/exception_manager_factory_flatshort.html">EXCEPTION_MANAGER_FACTORY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/exception_manager_factory_flatshort.html">EXCEPTION_MANAGER_FACTORY</A>
            exception_manager_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_external_exception"><A HREF="../base/excep_const_flatshort.html#f_external_exception">external_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 18</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for operating system error</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> which does not set the </FONT>`errno'<FONT COLOR="red"> variable</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Unix-specific)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_floating_point_exception"><A HREF="../base/excep_const_flatshort.html#f_floating_point_exception">floating_point_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 5</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for floating point exception</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_generating_type"><A HREF="../base/any_flatshort.html#f_generating_type">generating_type</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generating_type_not_void: <B>Result</B> /= <B>Void</B>
            generating_type_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_generator"><A HREF="../base/any_flatshort.html#f_generator">generator</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating class</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (base class of the type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generator_not_void: <B>Result</B> /= <B>Void</B>
            generator_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_incorrect_inspect_value"><A HREF="../base/excep_const_flatshort.html#f_incorrect_inspect_value">incorrect_inspect_value</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 9</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for inspect value which is not one</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of the inspect constants, if there is no Else_part</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_io_exception"><A HREF="../base/excep_const_flatshort.html#f_io_exception">io_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 21</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for I/O error</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_loop_invariant"><A HREF="../base/excep_const_flatshort.html#f_loop_invariant">loop_invariant</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 11</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for violated loop invariant</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_loop_variant"><A HREF="../base/excep_const_flatshort.html#f_loop_variant">loop_variant</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 10</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for non-decreased loop variant</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_no_more_memory"><A HREF="../base/excep_const_flatshort.html#f_no_more_memory">no_more_memory</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 2</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for failed memory allocation</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_number_of_codes"><A HREF="../base/excep_const_flatshort.html#f_number_of_codes">number_of_codes</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 31</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> How many codes are there to represent exceptions?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_old_exception"><A HREF="../base/excep_const_flatshort.html#f_old_exception">old_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 30</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Old exception code.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_operating_system_exception"><A HREF="../base/excep_const_flatshort.html#f_operating_system_exception">operating_system_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 22</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for operating system error</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> which sets the </FONT>`errno'<FONT COLOR="red"> variable</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Unix-specific)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_out_of_memory"><A HREF="../base/excep_const_flatshort.html#f_out_of_memory">out_of_memory</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 15</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Out of memory (cannot be ignored)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_postcondition"><A HREF="../base/excep_const_flatshort.html#f_postcondition">postcondition</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 4</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for violated postcondition</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_precondition"><A HREF="../base/excep_const_flatshort.html#f_precondition">precondition</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 3</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for violated precondition</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_rescue_exception"><A HREF="../base/excep_const_flatshort.html#f_rescue_exception">rescue_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 14</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for exception in rescue clause</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_resumption_failed"><A HREF="../base/excep_const_flatshort.html#f_resumption_failed">resumption_failed</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Resumption failed (retry did not succeed)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_retrieve_exception"><A HREF="../base/excep_const_flatshort.html#f_retrieve_exception">retrieve_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 23</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for retrieval error</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> may be raised by </FONT>`retrieved'<FONT COLOR="red"> in </FONT>`IO_MEDIUM'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_routine_failure"><A HREF="../base/excep_const_flatshort.html#f_routine_failure">routine_failure</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for failed routine</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_runtime_check_exception"><A HREF="../base/excep_const_flatshort.html#f_runtime_check_exception">runtime_check_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 29</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for runtime check being violated.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_runtime_io_exception"><A HREF="../base/excep_const_flatshort.html#f_runtime_io_exception">runtime_io_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 27</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for I/O error raised by runtime functions</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> such as store/retrieve, file access...</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_serialization_exception"><A HREF="../base/excep_const_flatshort.html#f_serialization_exception">serialization_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 31</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Serialization exception code.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_signal_exception"><A HREF="../base/excep_const_flatshort.html#f_signal_exception">signal_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 12</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for operating system signal</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_valid_code"><A HREF="../base/excep_const_flatshort.html#f_valid_code">valid_code</A> (c: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`c'<FONT COLOR="red"> a valid code to represent some kind of exceptions?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_void_assigned_to_expanded"><A HREF="../base/excep_const_flatshort.html#f_void_assigned_to_expanded">void_assigned_to_expanded</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 19</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for assignment of void value</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to expanded entity</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_void_call_target"><A HREF="../base/excep_const_flatshort.html#f_void_call_target">void_call_target</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 1</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Exception code for feature applied to void reference</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/excep_const_flatshort.html">EXCEP_CONST</A><FONT COLOR="red">)</FONT>
    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Comparison</FONT>

    <A NAME="f_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> or attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some, other) <B>implies</B> <B>Result</B>
            both_or_none_void: (some = <B>Void</B>) <B>implies</B> (<B>Result</B> = (other = <B>Void</B>))
            same_type: (<B>Result</B> <B>and</B> (some /= <B>Void</B>)) <B>implies</B> (other /= <B>Void</B> <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other))
            symmetric: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (other, some)
</A>
    <A NAME="f_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_equal">equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to objects considered equal?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other))
</A>
    <A NAME="f_is_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (other: <A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`Current'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (<B>Current</B>)
</A>
    <A NAME="f_is_equal"><A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other: <A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object considered</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> equal to current object?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
            consistent: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
</A>
    <A NAME="f_standard_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> field-by-field identical objects of the same type?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default object comparison criterion.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other))
</A>
    <A NAME="f_standard_is_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other: <A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object of the same type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as current object, and field-by-field identical to it?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status report</FONT>

    <A NAME="f_assertion_violation"><A HREF="../base/exceptions_flatshort.html#f_assertion_violation">assertion_violation</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is last exception originally due to a violated</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> assertion or non-decreasing variant?</FONT>
</A>
    <A NAME="f_class_name"><A HREF="../base/exceptions_flatshort.html#f_class_name">class_name</A>: ?<A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of the class that includes the recipient</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of original form of last exception</FONT>
</A>
    <A NAME="f_conforms_to"><A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does type of current object conform to type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of </FONT>`other'<FONT COLOR="red"> (as per Eiffel: The Language, chapter 13)?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
</A>
    <A NAME="f_developer_exception_name"><A HREF="../base/exceptions_flatshort.html#f_developer_exception_name">developer_exception_name</A>: ?<A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of last developer-raised exception</FONT>
        <B>require</B>
            applicable: <A HREF="../base/exceptions_flatshort.html#f_is_developer_exception">is_developer_exception</A>
</A>
    <A NAME="f_exception"><A HREF="../base/exceptions_flatshort.html#f_exception">exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Code of last exception that occurred</FONT>
</A>
    <A NAME="f_exception_trace"><A HREF="../base/exceptions_flatshort.html#f_exception_trace">exception_trace</A>: ?<A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> String representation of the exception trace</FONT>
</A>
    <A NAME="f_is_developer_exception"><A HREF="../base/exceptions_flatshort.html#f_is_developer_exception">is_developer_exception</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is the last exception originally due to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> a developer exception?</FONT>
</A>
    <A NAME="f_is_developer_exception_of_name"><A HREF="../base/exceptions_flatshort.html#f_is_developer_exception_of_name">is_developer_exception_of_name</A> (name: <A HREF="../base/string_8_flatshort.html">STRING_8</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is the last exception originally due to a developer</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> exception of name </FONT>`name'<FONT COLOR="red">?</FONT>
</A>
    <A NAME="f_is_signal"><A HREF="../base/exceptions_flatshort.html#f_is_signal">is_signal</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is last exception originally due to an external</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> event (operating system signal)?</FONT>
</A>
    <A NAME="f_is_system_exception"><A HREF="../base/exceptions_flatshort.html#f_is_system_exception">is_system_exception</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is last exception originally due to an</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> external event (operating system error)?</FONT>
</A>
    <A NAME="f_meaning"><A HREF="../base/exceptions_flatshort.html#f_meaning">meaning</A> (except: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): ?<A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> A message in English describing what </FONT>`except'<FONT COLOR="red"> is</FONT>
</A>
    <A NAME="f_original_class_name"><A HREF="../base/exceptions_flatshort.html#f_original_class_name">original_class_name</A>: ?<A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of the class that includes the recipient</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of original form of last exception</FONT>
</A>
    <A NAME="f_original_exception"><A HREF="../base/exceptions_flatshort.html#f_original_exception">original_exception</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Original code of last exception that triggered</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> current exception</FONT>
</A>
    <A NAME="f_original_recipient_name"><A HREF="../base/exceptions_flatshort.html#f_original_recipient_name">original_recipient_name</A>: ?<A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of the routine whose execution was</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> interrupted by original form of last exception</FONT>
</A>
    <A NAME="f_original_tag_name"><A HREF="../base/exceptions_flatshort.html#f_original_tag_name">original_tag_name</A>: ?<A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Assertion tag for original form of last</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> assertion violation.</FONT>
</A>
    <A NAME="f_recipient_name"><A HREF="../base/exceptions_flatshort.html#f_recipient_name">recipient_name</A>: ?<A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of the routine whose execution was</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> interrupted by last exception</FONT>
</A>
    <A NAME="f_same_type"><A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is type of current object identical to type of </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other) <B>and</B> other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>))
</A>
    <A NAME="f_tag_name"><A HREF="../base/exceptions_flatshort.html#f_tag_name">tag_name</A>: ?<A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Tag of last violated assertion clause</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status setting</FONT>

    <A NAME="f_catch"><A HREF="../base/exceptions_flatshort.html#f_catch">catch</A> (code: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Make sure that any exception of code </FONT>`code'<FONT COLOR="red"> will be</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> caught. This is the default.</FONT>
</A>
    <A NAME="f_die"><A HREF="../base/exceptions_flatshort.html#f_die">die</A> (code: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Terminate execution with exit status </FONT>`code'<FONT COLOR="red">,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> without triggering an exception.</FONT>
</A>
    <A NAME="f_ignore"><A HREF="../base/exceptions_flatshort.html#f_ignore">ignore</A> (code: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Make sure that any exception of code </FONT>`code'<FONT COLOR="red"> will be</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> ignored. This is not the default.</FONT>
</A>
    <A NAME="f_message_on_failure"><A HREF="../base/exceptions_flatshort.html#f_message_on_failure">message_on_failure</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Print an exception history table</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> in case of failure.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> This is the default.</FONT>
</A>
    <A NAME="f_no_message_on_failure"><A HREF="../base/exceptions_flatshort.html#f_no_message_on_failure">no_message_on_failure</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Do not print an exception history table</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> in case of failure.</FONT>
</A>
    <A NAME="f_raise"><A HREF="../base/exceptions_flatshort.html#f_raise">raise</A> (name: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Raise a developer exception of name </FONT>`name'<FONT COLOR="red">.</FONT>
</A>
    <A NAME="f_raise_retrieval_exception"><A HREF="../base/exceptions_flatshort.html#f_raise_retrieval_exception">raise_retrieval_exception</A> (name: <A HREF="../base/string_8_flatshort.html">STRING_8</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Raise a retrieval exception of name </FONT>`name'<FONT COLOR="red">.</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Duplication</FONT>

    <A NAME="f_copy"><A HREF="../base/any_flatshort.html#f_copy">copy</A> (other: <A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Update current object using fields of object attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to </FONT>`other'<FONT COLOR="red">, so as to yield equal objects.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_equal: <A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other)
</A>
    <A NAME="f_deep_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_copy">deep_copy</A> (other: <A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Effect equivalent to that of:</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red">		</FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red"> (</FONT>`other'<FONT COLOR="red"> . </FONT><A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A><FONT COLOR="red">)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, other)
</A>
    <A NAME="f_deep_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A>: <A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object structure recursively duplicated from Current.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_twin_not_void: <B>Result</B> /= <B>Void</B>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, <B>Result</B>)
</A>
    <A NAME="f_standard_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_copy">standard_copy</A> (other: <A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy every field of </FONT>`other'<FONT COLOR="red"> onto corresponding field</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_standard_equal: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other)
</A>
    <A NAME="f_standard_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_twin">standard_twin</A>: <A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object field-by-field identical to </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default copying semantics.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            standard_twin_not_void: <B>Result</B> /= <B>Void</B>
            equal: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (<B>Result</B>, <B>Current</B>)
</A>
    <A NAME="f_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_twin">twin</A>: <A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object equal to </FONT>`Current'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/any_flatshort.html#f_twin">twin</A><FONT COLOR="red"> calls </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">; to change copying/twining semantics, redefine </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            twin_not_void: <B>Result</B> /= <B>Void</B>
            is_equal: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Basic operations</FONT>

    <A NAME="f_default"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default">default</A>: ?<A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of object's type</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_pointer"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default_pointer">default_pointer</A>: <A HREF="../base/pointer_flatshort.html">POINTER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of type </FONT>`POINTER'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Avoid the need to write </FONT>`p'<FONT COLOR="red">.</FONT><A HREF="../base/any_flatshort.html#f_default">default</A><FONT COLOR="red"> for</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> some </FONT>`p'<FONT COLOR="red"> of type </FONT>`POINTER'<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_rescue"><A HREF="../base/any_flatshort.html#f_default_rescue">default_rescue</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process exception for routines with no Rescue clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_do_nothing"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_do_nothing">do_nothing</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Execute a null action.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Output</FONT>

    <A NAME="f_io"><A HREF="../base/any_flatshort.html#f_io">io</A>: <A HREF="../base/std_files_flatshort.html">STD_FILES</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Handle to standard file setup</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            io_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_out"><A HREF="../base/any_flatshort.html#f_out">out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_print"><A HREF="../base/any_flatshort.html#f_print">print</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Write terse external representation of </FONT>`some'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> on standard output.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_tagged_out"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_tagged_out">tagged_out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            tagged_out_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Platform</FONT>

    <A NAME="f_operating_environment"><A HREF="../base/any_flatshort.html#f_operating_environment">operating_environment</A>: <A HREF="../base/operating_environment_flatshort.html">OPERATING_ENVIRONMENT</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects available from the operating system</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            operating_environment_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>invariant</B>
        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
    reflexive_equality: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
    reflexive_conformance: <A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>)

<B>end</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">class </FONT><A HREF="../base/exceptions_flatshort.html">EXCEPTIONS</A><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="exceptions_chart.html">Chart</A></TD><TD><A HREF="exceptions_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>

